Abductive Reasoning and Learning: 4 (Handbook of Defeasible Reasoning and Uncertainty Management Systems)
by Rudolf Kruse, Dov M. Gabbay, Philippe Smets
ISBN 13: 9780792365655
Format: Hardcover (452 pages) Publisher: Springer Published: 30 Sep 2000
Save for later
Handbook of Philosophical Logic: Volume I: Elements of Classical Logic (Synthese Library) (Volume 1): 164
by Dov M. Gabbay
ISBN 13: 9789400970687
Format: Paperback (512 pages) Publisher: Springer Published: 14 Oct 2011
Mathematical Problems from Applied Logic I: Logics for the XXIst Century: 4 (International Mathematical Series)
by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
ISBN 13: 9781441921109
Format: Paperback (376 pages) Publisher: Springer Published: 25 Nov 2010
Handbook of Philosophical Logic: Volume 15
by Dov M. Gabbay, Franz Guenthner
ISBN 13: 9789400734517
Format: Paperback (416 pages) Publisher: Springer Published: 27 Jan 2013
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library)
ISBN 13: 9789048183623
Format: Paperback (304 pages) Publisher: Springer Netherlands Published: 28 Dec 2009
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series)
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
ISBN 13: 9789048177257
Format: Paperback (620 pages) Publisher: Springer Published: 22 Nov 2010
Handbook of Philosophical Logic, 2nd Edition: Volume 8
ISBN 13: 9789401039192
Format: Paperback (372 pages) Publisher: Springer Published: 04 Oct 2013
Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic: 166 (Synthese Library)
ISBN 13: 9789401088015
Format: Paperback (540 pages) Publisher: Springer Published: 04 Oct 2013
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
by Dov M. Gabbay, Karl Schlechta
ISBN 13: 9783642261879
Format: Paperback (316 pages) Publisher: Springer Published: 01 Mar 2012
What is Negation?: 13 (Applied Logic Series)
ISBN 13: 9789048151691
Format: Paperback (352 pages) Publisher: Springer Published: 15 Dec 2010
Goal-Directed Proof Theory: 21 (Applied Logic Series)
ISBN 13: 9789048155262
Format: Paperback (284 pages) Publisher: Springer Published: 04 Oct 2013